Skip to content

Conversation

jycouet
Copy link
Contributor

@jycouet jycouet commented Oct 8, 2025

No description provided.

@jycouet
Copy link
Contributor Author

jycouet commented Oct 11, 2025

Not sure why is it failing :o

@43081j
Copy link
Contributor

43081j commented Oct 12, 2025

its ok, it fails in this repo for contributors until #32 lands

looks good to me

@43081j 43081j merged commit 8dcbe7b into e18e:main Oct 12, 2025
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants